منابع مشابه
Boolean Algebras in Algebraic Topology
The appearance of the complete Heyting algebra in the realm of Algebraic Topology is the main topic of the paper.
متن کاملInverse topology in BL-algebras
In this paper, we introduce Inverse topology in a BL-algebra A and prove the set of all minimal prime filters of A, namely Min(A) with the Inverse topology is a compact space, Hausdorff, T0 and T1-Space. Then, we show that Zariski topology on Min(A) is finer than the Inverse topology on Min(A). Then, we investigate what conditions may result in the equivalence of these two topologies. Finally,...
متن کاملCategorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملBoolean Algebras in Visser Algebras
We generalize the double negation construction of Boolean algebras in Heyting algebras, to a double negation construction of the same in Visser algebras (also known as basic algebras). This result allows us to generalize Glivenko’s Theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser algebras. Mathematics Subject Classification: P...
متن کاملImaginaries in Boolean algebras
Given an infinite Boolean algebra B, we find a natural class of ∅-definable equivalence relations EB such that every imaginary element from B is interdefinable with an element from a sort determined by some equivalence relation from EB . It follows that B together with the family of sorts determined by EB admits elimination of imaginaries in a suitable multisorted language. The paper generalize...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications de l'Institut Mathematique
سال: 2007
ISSN: 0350-1302,1820-7405
DOI: 10.2298/pim0796135p